- on dit que
\(i\) mène à \(j\) et on note \(i\to j\) si $$\exists n\geqslant0,\quad {\Bbb P}_i(X_n=j)\gt 0$$
- caractérisation (pour \(i\ne j\)) :
- $$\exists n\geqslant0,\exists i\in\{i_0,\dots,i_n\},\quad m_{i_0i_1}\dots m_{i_{n-1}i_n}\gt 0$$
- $$\exists n\geqslant0,\quad m_{ij}^{(n)}\gt 0$$
- on dit que \(i\) communique avec \(j\) et on note \(i\leftrightarrow j\) si \(i\to j\) et \(j\to i\)
- on appelle classe communicante les classes d'équivalences obtenues via le quotient \(I/\leftrightarrow\)
- propriété importante : les classes communicantes partitionnent \(I\)
